Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
111	The Open University Library Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2010-04-13 06:03:48 Philosophy of mathematics Boolean algebra Geometric algebra Calculus Ring Mathematical analysis Mathematical logic Structure Philosophers of mathematics Algebraic structures Ring theory Mathematics
112	Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2 Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2013-08-04 12:37:28 Models of computation Probability theory Boolean algebra Measure theory Sigma-algebra Parity of a permutation Finite-state machine Nondeterministic finite automaton Mathematics Automata theory Mathematical analysis
113	COMP3170 Analysis of Algorithms and Data Strutures Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2007-11-06 12:31:11 Complexity classes Mathematical optimization NP-complete problems NP-complete Boolean satisfiability problem Approximation algorithm Algorithm NP Heap Theoretical computer science Applied mathematics Computational complexity theory
114	Microsoft Word - Martin_Supplement_Final.doc Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2013-12-09 16:26:41 Bioinformatics Dimension reduction Self-organizing map Cluster analysis Boolean network Gene regulatory network K-means clustering Consensus clustering Statistics Neural networks Networks
115	Microsoft PowerPoint - GeneNetworksPoster.ppt Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2013-12-09 16:30:34 Networks Gene expression Bioinformatics Systems biology Microarrays Gene regulatory network Gene expression profiling Boolean network Cluster analysis Biology Statistics Science
116	How Low Can Approximate Degree and Quantum Query Complexity be for Total Boolean Functions?∗ arXiv:1206.0717v2 [quant-ph] 25 Mar[removed]Andris Ambainis† Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-25 21:05:57 Computational complexity theory Quantum information science Analysis of algorithms Quantum algorithm Decision tree model Circuit complexity FO Communication complexity Big O notation Theoretical computer science Applied mathematics Mathematics
117	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
118	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-05 07:39:08 Boolean algebra Measure theory Operator theory Descriptive set theory Forcing Complete Boolean algebra Abelian von Neumann algebra Von Neumann algebra Sigma-algebra Mathematics Mathematical logic Mathematical analysis
119	CCCG 2010, Winnipeg MB, August 9–11, 2010 Any Monotone Boolean Function Can Be Realized by Interlocked Polygons Erik D. Demaine∗ Martin L. Demaine∗ Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2010-08-06 13:43:10 Mathematics 3D computer graphics Euclidean plane geometry Polygon Simple polygon Monotonic function Mathematical analysis Geometry Polygons
120	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory

UPDATE